spの値をa0にコピーする。このspの値はaddi sp, sp, -4 * 31された後の値であり、汎用レジスタの値が格納されているスタック領域の先頭アドレスである。a0にコピーしているのは、次に呼び出すhandle_trap関数の引数とするためである。スタックに保存された汎用レジスタの値はtrap_frame構造体と同じ構造になっているため、handle_trap関数にはtrap_frame構造体の型を持つ引数が渡されることになる。

ecall 命令が呼ばれたのかどうかは、scause の値を確認することで判定できる。handle_syscall関数を呼び出す以外にも、sepcの値に4を加えている。これは、sepcはトラップを引き起こしたプログラムカウンタ、つまりecall命令を指している。変えないままだと、ecall命令を無限に繰り返し実行してしまうので、命令のサイズ分 (4バイト) だけ加算することで、ユーザーモードに戻る際に次の命令から実行を再開するようにしている。

トラップハンドラから呼ばれるのがシステムコールハンドラである。システムコールの種類に応じて処理を分岐する。今回は、SYS_PUTCHAR に対応する処理を実装する。単にa0レジスタに入っている文字を出力するだけである。

syscall関数は、a3にシステムコール番号、a0〜a2レジスタにシステムコールの引数を設定して ecall 命令を実行する。ecall 命令は、カーネルに処理を委譲するための特殊な命令である。ecall 命令を実行すると、トラップハンドラが呼び出され、カーネルに処理が移る。カーネルからの戻り値はa0レジスタに設定される。

変数a0をレジスタa0に対応させている。これにより変数a0を使用すると、実際にはレジスタa0を操作することになる。そのため、変数a0にarg0を代入しているので、実際はレジスタa0にarg0を格納している。

出力オペランドを指定する部分である。ecall命令が実行された結果をa0レジスタに格納するように指定している。

入力オペランドを指定する部分である。rはレジスタに格納された値を使用することを意味し、a0からa3の各レジスタに格納された値がecall命令に渡される。

コンパイラレベルのメモリバリアーを作り、最適化によってメモリアクセスの順序を変更しないようにする。
https://stackoverflow.com/questions/14950614/working-of-asm-volatile-memory

putcharシステムコールを呼び出す。このシステムコールでは、第1引数として文字を渡す。第2引数以降は、未使用なので0を渡すことにする。